Das Untermenü ``resolution'' des pop-up Men�s

Dies ist ein besonderes Menü, da es vom Benutzer vordefiniert werden kann. Es besteht aus bis zu 10 DPI-Einträgen, mit denen man die Auflösung ändern kann, in der das DVI-File angezeigt wird. Dazu muß<#265#><#265#> man allerdings auch über die Fonts in den jeweiligen Auflösungen verfügen. Ohne Benutzeränderungen hat das Menü drei Einträge: <#266#>100 dpi<#266#>, <#267#>83 dpi<#267#> und <#268#>120 dpi<#268#>. Das Generieren eigener Einträge ist im Kapitel 6 nachzulesen.